English Computing Dictionary
◊ CATEGORICAL ABSTRACT MACHINE LANGUAGE
Categorical Abstract Machine Language
{Objective CAML}